Timing with opportunity cost: Concurrent schedules of reinforcement improve peak timing

Assessing Animals’ Preferences: Concurrent Schedules of Reinforcement

Timing Analysis of Concurrent Programs

Worst-case execution time analysis of multi-threaded software is still a challenge. This comes mainly from the fact that the number of thread interleavings grows exponentially in the number of threads and that synchronization has to be taken into account. In particular, a suitable graph based model has been missing. The idea that thread interleavings can be studied with a matrix calculus is a n...

Truly Concurrent Process Algebra with Timing

We extend truly concurrent process algebra APTC with timing related properties. Just like ACP with timing, APTC with timing also has four parts: discrete relative timing, discrete absolute timing, continuous relative timing and continuous absolute timing.

Concurrent Multi-mode Timing Model Generation for Hierarchical Timing Analysis

In this paper, we investigate the challenges in timing model generation for designs operating at various functional modes and timing corners for reducing the overall complexity of timing verification besides preserving the key intent of IP protection. We also propose a method for concurrently generating a model that can address the requirements of timing verification of a set of functional cons...

Neural mechanisms to improve timing

We use probabilistic techniques to study neural systems which improve the timing accuracy of action potential 'ring. A striking example of such accuracy was discovered in the columnar region of the VNLL by Covey and Casseday (J. Neurosci. 11 (1991) 3456). In response to sound stimulation, these VNLL cells 're an action potential whose latency under repeated trials has a standard deviation of ap...